Merge version 2019.2.0~git20230811.ff54a68+dfsg1-7+rpi1 and 2019.2.0~git20230811...

diff --cc CMakeLists.txt
Simple merge

diff --cc debian/changelog
index 7374bfa9a074bb20f02e2f5bf736886ef4ac6fc7,29ecaad98700140f4ef8e698ec32b6f010cdad32..841d6d07e46bc23f97de81b94af0846361012aa7
--- 1/debian/changelog
--- 2/debian/changelog
+++ b/debian/changelog
@@@ -1,9 -1,8 +1,15 @@@
- mshr (2019.2.0~git20230811.ff54a68+dfsg1-7+rpi1) forky-staging; urgency=medium
++mshr (2019.2.0~git20230811.ff54a68+dfsg1-8+rpi1) forky-staging; urgency=medium
 +
 +  [changes brought forward from 2019.2.0~git20200924.c27eb18+dfsg1-7+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Sun, 24 Apr 2022 21:08:59 +0000]
 +  * Link with libatomic.
 +
-  -- Raspbian forward porter <root@raspbian.org>  Sun, 25 Jan 2026 01:27:47 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Sat, 28 Feb 2026 04:32:16 +0000
++
+ mshr (2019.2.0~git20230811.ff54a68+dfsg1-8) unstable; urgency=medium
+ 
+   * Add drop_boost_system.patch. Closes: #1128158.
+ 
+  -- Francesco Ballarin <ballarin@debian.org>  Mon, 16 Feb 2026 07:00:18 +0000
  
  mshr (2019.2.0~git20230811.ff54a68+dfsg1-7) unstable; urgency=medium
  

diff --cc debian/patches/series
index ece3159104237e8358f5d1a3969dce31059f207b,3b2ba21bfa1aed0f90ec57ac676fbb104d86e75d..19bc1c777fa5060e145a7ceb72d65a87a2130546
--- 1/debian/patches/series
--- 2/debian/patches/series
+++ b/debian/patches/series
@@@ -3,4 -3,4 +3,5 @@@ lib_rename.patc
  CGAL_6_compatibility.diff
  boost_filesystem_extension.patch
  CGAL_6.1_compatibility.diff
+ drop_boost_system.patch
 +link-with-libatomic.patch